Homotopy theory - PDFSEARCH.IO - Document Search Engine

Homotopy theory
Results: 956

#	Item
681	Natural models of homotopy type theory Steve Awodey 1 June 2014 Abstract The notion of a natural model of type theory is defined in terms of that Add to Reading List Source URL: www.andrew.cmu.edu Language: English - Date: 2014-06-01 15:27:23 Mathematics Homotopy theory Differential topology Sheaf Functor Grothendieck topology Section Adjoint functors Initial and terminal objects Topology Abstract algebra Algebraic topology
682	The Quillen plus-construction in algebraic K-theory Shan Shah 5th January[removed]Contents Add to Reading List Source URL: www.staff.science.uu.nl Language: English - Date: 2012-02-03 19:23:49 Homotopy theory Fundamental group Homotopy group Algebraic K-theory CW complex Homotopy Singular homology Hurewicz theorem Topological K-theory Topology Abstract algebra Algebraic topology
683	K-THEORY OF A WALDHAUSEN CATEGORY AS A SYMMETRIC SPECTRUM MITYA BOYARCHENKO Abstract. If C is a Waldhausen category (i.e., a “category with cofibrations and weak equivalences”), it is known that one can define its K- Add to Reading List Source URL: www.math.uchicago.edu Language: English - Date: 2007-11-04 13:29:42 Mathematics Topology Waldhausen category Cofibration Algebraic K-theory Weak equivalence Simplicial set Q Nerve Abstract algebra Homotopy theory Category theory
684	Structuralism, Invariance, and Univalence∗ Steve Awodey March 4, 2014 Abstract The recent discovery of an interpretation of constructive type theory into abstract homotopy theory suggests a new approach to the Add to Reading List Source URL: www.andrew.cmu.edu Language: English - Date: 2014-06-01 15:27:23 Homotopy theory Morphisms Category theory Algebraic structures Adjoint functors Isomorphism Groupoid Equivalence of categories Equality Abstract algebra Mathematics Algebra
685	Recent Work in Homotopy Type Theory Steve Awodey Carnegie Mellon University AMS Baltimore January 2014 Add to Reading List Source URL: www.andrew.cmu.edu Language: English - Date: 2014-06-01 15:27:30 Abstract algebra Homotopy type theory Groupoid Homotopy Lambda calculus Path Fundamental group Function Hurewicz theorem Homotopy theory Topology Mathematics
686	What n-Categories Should Be Like John C. Baez A %% Add to Reading List Source URL: www.ima.umn.edu Language: English - Date: 2004-06-11 10:36:24 Abstract algebra Homotopy theory Higher category theory Algebraic structures PRO Groupoid Braided monoidal category Functor Category Category theory Algebra Monoidal categories
687	Voevodsky’s Univalence Axiom in homotopy type theory ´ Steve Awodey, Alvaro Pelayo and Michael A. Warren Add to Reading List Source URL: www.andrew.cmu.edu Language: English - Date: 2014-06-01 15:27:23 Abstract algebra Homotopy type theory Homotopy group Homotopy Model category Vladimir Voevodsky Mathematical logic Type theory Out Homotopy theory Topology Mathematics
688	arXiv:0906.4521v1 [math.LO] 24 Jun 2009 ¨ COMPLEXES MARTIN-LOF S. AWODEY, P. HOFSTRA, AND M. A. WARREN Dedicated to Per Martin-L¨ Add to Reading List Source URL: www.andrew.cmu.edu Language: English - Date: 2014-06-01 15:27:23 Homotopy theory Category theory Algebraic topology Higher category theory Algebraic structures Groupoid Homotopy Fundamental group Equivalence relation Abstract algebra Mathematics Topology
689	INTRODUCTION TO THE UNIVALENT FOUNDATIONS OF MATHEMATICS CONSTRUCTIVE TYPE THEORY AND HOMOTOPY STEVE AWODEY CARNEGIE MELLON UNIVERSITY Add to Reading List Source URL: www.andrew.cmu.edu Language: English - Date: 2014-06-01 15:27:30 Mathematics Groupoid Homotopy type theory Homotopy Model category Fundamental group CW complex Category theory Homotopy theory Topology Abstract algebra
690	Homotopy Type Theory and Univalent Foundations of Mathematics Steve Awodey Carnegie Mellon University Add to Reading List Source URL: www.andrew.cmu.edu Language: English - Date: 2014-06-01 15:27:30 Homotopy type theory Homotopy Mathematical logic Algebraic topology Homotopy group Homotopy theory Topology Mathematics

UPDATE